Autolink: A Tool for Automatic Test Generation from SDL Specifications

نویسندگان

  • Beat Koch
  • Jens Grabowski
  • Dieter Hogrefe
  • Michael Schmitt
چکیده

Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed which supports the automatic generation of TTCN test suites based on SDL and MSC speciications. The project follows a pragmatic approach and is driven by practical experience. Autolink has been used by the European Telecommunications Standards Institute (ETSI) to develop a test suite for Core INAP CS{2.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Autolink - Putting SDL-Based Test Generation Into Practice

Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL specification and MSC requirements. The first big challenge for Autolink was the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink which...

متن کامل

Autolink -putting Formal Test Methods into Practice

Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL speciication and MSC requirements. The rst big challenge for Autolink has been the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink whi...

متن کامل

Test Generation with Autolink and Testcomposer

Testing of telecommunication systems is a major concern in industry and standardization. Therefore, the two major SDL tool vendors have integrated automatic test generation tools into their software development suites. While Telelogic has added Autolink to the Tau tools, former Verilog has extended ObjectGeode with TestComposer. Even though both tools are based on the same concepts, many featur...

متن کامل

A Tool for the Automatic and Semi - Automatic Test

Due to increasing interest in validation and test generation tools, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck have started a research and development project which aims at bringing new test generation facilities to the Tau tool set. For that purpose, a software component is developed which supports the automatic and semi-automatic generation of TTCN te...

متن کامل

Architecting Specifications for Test Case Generation 1

The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Surprisingly, little documentation exists on the optimal way to specify systems so that they can best be used for the generation of tests. This paper, elaborates on the different tool supported approaches that can be take...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998